--- src/jrd/perf.h	2018-01-05
+++ src/jrd/perf.h	2018-08-20
@@ -31,10 +31,6 @@
 #ifndef JRD_PERF_H
 #define JRD_PERF_H
 
-#ifdef LINUX
-#include <libio.h>
-#endif
-
 #ifdef HAVE_TIMES
 #include <sys/types.h>
 #include <sys/times.h>

